contramap :: (b -> a) -> (Op Bool a -> Op Bool b)